probabilistic proposition